FILE *prologue (FILE *out, char *name, char *title);
FILE *cont (FILE *out, FILE *f, char *title);
void epilogue (FILE *out, FILE *f, char *title);
